Semantic characterization of programmable logic controller programs
نویسندگان
چکیده
منابع مشابه
design of an analog fuzzy logic controller chip
fuzzy logic has been developed over the past three decades into a widely applied techinque in classification and control engineering. today fuzzy logic control is one of the most important applications of fuzzy set theory and specially fuzzy logic. there are two general approachs for using of fuzzy control, software and hardware. integrated circuits as a solution for hardware realization are us...
15 صفحه اولProgrammable Logic Controller and Its Applications
ABSTARCT: Since the industrial revolution took place in 18th century, various improvements have been done in the sector of industry. The sole principle behind it was to reduce the human efforts by means of automation. A Programmable Logic Controller(PLC) has created a huge impact in the field of automation because of its exceptional capabilities. It has transformed the industry into a new era a...
متن کاملRegression Verification for Programmable Logic Controller Software
Automated production systems are usually driven by Programmable Logic Controllers (PLCs). These systems are long-living – yet have to adapt to changing requirements over time. This paper presents a novel method for regression verification of PLC code, which allows one to prove that a new revision of the plant’s software does not break existing intended behavior. Our main contribution is the des...
متن کاملWeb-based Programmable Logic Controller Learning System
1 Sheng-Jen Hsieh, 3367 TAMU, Texas A&M University, College Station, TX 77843, [email protected] 2 Patricia Yee Hsieh, Texas A&M University System Administrative and General Offices, College Station, TX 77840, [email protected] This material is based upon work supported by the National Science Foundation under Grant No. 0088873 Any opinions, findings, and conclusions or recommendations expressed in ...
متن کاملA fail safe programmable logic controller
To architecturally support the programming of safety related control applications in the graphical language function block diagram and the verification of such software meeting the requirements of Safety Integrity Level SIL 3, a dedicated, low complexity execution platform is presented. Its hardware is fault detecting to immediately initiate emergency shut-downs in case of malfunctions. With th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical and Computer Modelling
سال: 2012
ISSN: 0895-7177
DOI: 10.1016/j.mcm.2011.11.038